翻訳と辞書 Words near each other ・ Inserra Supermarkets ・ Insert ・ Insert (composites) ・ Insert (effects processing) ・ Insert (filmmaking) ・ Insert (molecular biology) ・ Insert (print advertising) ・ Insert (SQL) ・ Insert card ・ Insert key ・ Insert Knob A in Hole B ・ Insert nut ・ Insert studio ・ Insert Subscriber Data ・ Insert Therapeutics ・ Inserter category ・ Insertion ・ Insertion (genetics) ・ Insertion aria ・ Insertion device ・ Insertion gain ・ Insertion loss ・ Insertion mount machine ・ Insertion point ・ Insertion reaction ・ Insertion sequence ・ Insertion sequence IS1222 ribosomal frameshifting element ・ Insertion sort ・ Insertion time ・ Insertional mutagenesis Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Inserter category ： ウィキペディア英語版 Inserter category In category theory, a branch of mathematics, the inserter category is a way of constructing a new category from two functors between two categories. ==Definition== If ''C'' and ''D'' are two categories and ''F'' and ''G'' are two functors from ''C'' to ''D'', the inserter category ''Ins''(''F'',''G'') is the category whose objects are pairs (''X'',''f'') where ''X'' is an object of ''C'' and ''f'' is a morphism in ''D'' from ''F''(''X'') to ''G''(''X'') and whose morphisms from (''X'',''f'') to (''Y'',''g'') are morphisms ''h'' in ''C'' from ''X'' to ''Y'' such that $G(h)\; \backslash circ\; f\; =\; g\; \backslash circ\; F(h)$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Inserter category」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.